E{-}State\{i:l\} $\in$ Type\{i'\}